2221. The origin of the logic of symbolic mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ; Mathematics ; Philosophy. ;
2222. The origin of the logic of symbolic mathematics :
پدیدآورنده : Burt C. Hopkins
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
H66
2011
2223. The origin of the logic of symbolic mathematics
پدیدآورنده : / Burt C. Hopkins
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic, Symbolic and mathematical.,Mathematics--Philosophy
رده :
QA9
,.
H66
,
2011
2224. The priciples of science
پدیدآورنده : Jevons, William Stanley
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic,، Logic, symbolic and mathematical,Methodology ، Science
رده :
Q
175
.
J48
1996
2225. The road to universal logic :
پدیدآورنده : Arnold Koslow, Arthur Buchsbaum, editors
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,History of Mathematical Sciences,Logic,Mathematical Logic and Foundations,Mathematics
رده :
QA9
2226. The road to universal logic Festschrift for the 50th birthday of Jean-Yves Béziau.
پدیدآورنده : Arnold Koslow, Arthur Buchsbaum, editors
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic,Logic, Symbolic and mathematical,Mathematics
رده :
QA9
.
R63
2227. The search for certainty : a philosophical account of foundations of mathematics
پدیدآورنده : Giaquinto, Marcus
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
G52S4
2228. The search for mathematical roots, 1870-1940
پدیدآورنده : / I. Grattan-Guinness
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Arithmetic- Foundations- History 19th century,Arithmetic- Foundations- History 20th century,Set theory- History 19th century,Set theory- History 20th century,Logic, Symbolic and mathematical- History 19th century,Logic, Symbolic and mathematical- History 20th century
رده :
E-BOOK
2229. 1940-The search for mathematical roots, 1870
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Arithmetic ; Foundations. ; Set theory ; History ; 19th century. ; Set theory ; History ; 20th century. ; Logic, Symbolic and mathematical ; History ; 19th century. ; Logic, Symbolic and mathematical ; History ; 20th century. ;
2230. The search for mathematical roots, 1870-1940
پدیدآورنده : / I. Grattan-Guinness
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Arithmetic--Foundations--History--19th century,Arithmetic--Foundations--History--20th century,Set theory--History--19th century,Set theory--History--20th century,Logic, Symbolic and mathematical--History--19th century,Logic, Symbolic and mathematical--History--20th century
رده :
QA
,
248
,.
G684
,
2000
2231. The search for mathematical roots, 1870-1940
پدیدآورنده : / I. Grattan-Guinness
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Arithmetic- Foundations- History 19th century,Arithmetic- Foundations- History 20th century,Set theory- History 19th century,Set theory- History 20th century,Logic, Symbolic and mathematical- History 19th century,Logic, Symbolic and mathematical- History 20th century
رده :
QA248
.
G684
2000
2232. The semantic foundations of logic
پدیدآورنده : Epstein, Richard L.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic,، Logic, Symbolic and mathematical,، Semantics
رده :
BC
71
.
E57
1995
2233. The semantic foundations of logic
پدیدآورنده : Epstein, Richard L., 7491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic,، Logic, Symbolic and mathematical,، Semantics
رده :
BC
71
.
E56
2234. The semantic foundations of logic
پدیدآورنده : Epstein, Richard L.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic , Logic, Symbolic and mathematical, Semantics
رده :
BC
71
.
E57
1994
2235. The semantic foundations of logic
پدیدآورنده : / Richard L.Epstein,with the assistance and collaboration of Walter A.Carnielli...[et al.]
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Logic,Logic,symbolic and mathematical,Semantics
رده :
160
E64s
2236. The semantics and proof theory of the logic of bunched implications
پدیدآورنده : By David J. Pym
موضوع : Logic, Symbolic and mathematical.
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
2237. The strange logic of random graphs
پدیدآورنده : Spencer, Joel H.
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Random graphs,، Logic, Symbolic and mathematical
رده :
QA
166
.
17
.
S64
2001
2238. The strange logic of random graphs
پدیدآورنده : Spencer, Joel H.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Random graphs,، Logic, Symbolic and mathematical
رده :
QA
166
.
17
.
S64
2239. The structure of models of Peano arithmetic
پدیدآورنده : Kossak, Roman, 3591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Peano, Giuseppe, 8581-2391,Problems, exercises, etc ، Logic, Symbolic and mathematical,، Isomorphisms )Mathematics(,Problems, exercises, etc ، Isomorphisms )Mathematics(
رده :
QA
9
.
7
.
K68S7
2240. The structure of models of Peano arithmetic
پدیدآورنده : Kossak, Roman
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Logic, Symbolic and mathematical,، Peano, Giuseppe--8581-2391,، Logic, Symbolic and mathematica--roblems, exercises, etc,، Isomorphisms )Mathematics(,، Isomorphisms )Mathematics--roblems, exercises, etc
رده :
QA
9
.
7
.
K67
2006